rat-num.scm